41. Bertrand Russell and the origins of the set-theoretic 'paradoxes'
المؤلف: / Alejandro R. Garciadiego
المکتبة: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع: Logic, Symbolic and mathematical,Set theory,Paradox,Russell, Bertrand,- 1872-1970- Principles of mathematics
رده :
QA9
.
G2413
1992
42. Bertrand Russell and the origins of the set-theoretic 'paradoxes', Bertrand Russell y los origenes de las paradojas de lateoria de conjuntos. English
المؤلف: Garciadiego Dantan, Alejandro Ricardo
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791 Principles of mathematics
رده :
QA
9
.
G2413
1992
43. Between logic and intuition :
المؤلف: edited by Gila Sher, Richard Tieszen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
44. Between logic and intuition :
المؤلف: edited by Gila Sher, Richard Tieszen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
A5
B489
2007
45. Bridge to abstract mathematics :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Mathematics ;
46. Bridge to abstract mathematics
المؤلف: / by Ronald P. Morash
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.,Mathematics--1961
رده :
QA9
,.
M74
,
1987
47. Bridge to abstract mathematics /
المؤلف: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
48. Bridge to abstract mathematics : mathematical proof and structures
المؤلف: / by Ronald P. Morash
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical,Mathematics
رده :
QA9
.
M74
1987
49. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
المؤلف: P. Martin-Lof, G Mints, eds
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
50. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
51. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
المؤلف: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
52. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
53. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
المؤلف: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
54. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
55. CSL ʹ89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
المؤلف: Workshop on Computer Science Logic, 3rd, Kaiserslautern, 1989
المکتبة: المکتبه المرکزيه و مرکز الوثائق جامعه اصفهان (أصبهان)
موضوع: Computer science- Mathematics- Congresses ► Logic, Symbolic and mathematical- Congresses
رده :
W926c
56. Categorical Topology
المؤلف: edited by Eraldo Giuli.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Mathematics.
57. Chapter zero
المؤلف: / Carol Schumacher
المکتبة: (طهران)
موضوع: Logic, Symbolic and mathematical,Mathematics,Problem solving
رده :
QA
9
.
S376
1996
58. Closure Spaces and Logic
المؤلف: by Norman M. Martin, Stephen Pollard.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
59. Closure properties and kripke models for fragments of heyting arithmetic
المؤلف: by: Morteza Moniri,^AMoniri, Morteza
المکتبة: (طهران)
موضوع: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
60. Commonsense Reasoning
المؤلف: \ Erik T. Mueller, IBM Watson Group and IBM Research.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
رده :
E-Book
,
